161. Scientific computing in object-oriented parallel environments : first International Conference, ISCOPE 97, Marina del Rey, California, USA, December 8-11, 1997 : proceedings
پدیدآورنده : Yutaka Ishikawa ... ]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Computer networks -- Congresses ، Science,Computer networks -- Congresses ، Engineering,Congresses ، Object-oriented programming )Computer science(,Congresses ، Parallel programming )Computer science(
رده :
QA
76
.
L28
Vol
.
1343
162. Software Composition
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Development -- Congresses,Software engineering -- Congresses,Computer science,نرم‌افزار -- تولید -- کنگره‌ها,نرم‌افزار -- مهندسی -- کنگره‌ها,علوم کامپیوتر
رده :
E-Book
,
163. Software Engineering and Formal Methods
پدیدآورنده : \ [edited by] Carlos Canal, Akram Idani.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Formal methods (Computer science) -- Congresses.,نرم‌افزار -- مهندسی-- کنگره‌ها,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
758
.
S62
2015
E-Book
,
164. Software Engineering and Formal Methods
پدیدآورنده : \ Domenico Bianculli , Radu Calinescu, Bernhard Rumpe (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Formal methods (Computer science) -- Congresses.,Formal methods (Computer science),نرم‌افزار -- مهندسی-- کنگره‌ها,روش‌های صوری (کامپیوتر) -- کنگره ها,(روش‌های صوری (کامپیوتر
رده :
QA
76
.
758
.
S62
2015
E-Book
,
165. Software, Services and Systems
پدیدآورنده : \ [edited by] Rocco De Nicola, Rolf Hennicker.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses,Systems engineering -- Congresses,Abstract data types (Computer science) -- Congresses.,نرم‌افزار -- مهندسی-- کنگره‌ها ,مهندسی س‍ی‍س‍ت‍م ها -- کنگره ها ,داده‌های انتزاعی (کامپیوتر) -- کنگره ها
رده :
QA
76
.
758
.
S62
2015
E-Book
,
166. Software Technologies
پدیدآورنده : \ edited by Andreas Holzinger...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a05,a05,Computer software -- Congresses.,Software engineering -- Congresses.,نرم افزار کامپیوتر - کنگره ها,مهندسی نرم افزار - کنگره ها.
رده :
QA
76
.
755
.
S62
2015
E-Book
,
167. Software and data technologies :
پدیدآورنده : María José Escalona, José Cordeiro, Boris Shishkov, (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data structures (Computer science) -- Congresses.,Database management -- Congresses.,Software engineering -- Congresses.
168. Software engineering and formal methods :
پدیدآورنده : Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,Software engineering, Congresses.
رده :
QA76
.
758
.
I58
2011
169. Symbolic computation : applications to scientific computing
پدیدآورنده : edited by Robert Grossman
کتابخانه: (طهران)
موضوع : Data processing -- Congresses ، Engineering mathematics,Congresses ، Object-oriented programming )Computer science(
رده :
TA
331
.
S95
1989
170. System simulation and scientific computing
پدیدآورنده : Tianyuan Xiao, Lin Zhang, Shiwei Ma (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Engineering-- Computer simulation, Congresses,Science-- Computer simulation, Congresses,Simulation methods, Congresses
رده :
T57
.
62
.
I58
2012eb
171. Transactions on Engineering Technologies
پدیدآورنده : \ Haeng Kon Kim , Mahyar A. Amouzegar, Sio-long Ao Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Engineering -- Congresses.,Technology -- Congresses,Computer science -- Congresses.,مهندسی -- کنگره‌ها ,تکنولوژی -- کنگره‌ها ,علوم کامپیوتر -- کنگره‌ها
رده :
TA
5
.
T7
2015
E-Book
,
172. Transactions on Engineering Technologies Special Issue of the World Congress on Engineering and Computer Science 2013
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Engineering > Congresses. Technology > Congresses. Computer science > Congresses.
رده :
E-Book
,
173. Transactions on engineering technologies :
پدیدآورنده : Haeng Kon Kim, Mahyar A. Amouzegar, Sio-long Ao, editors
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses,Engineering, Congresses,Technological innovations, Congresses,Technology, Congresses
رده :
TA5
174. Transactions on engineering technologies : International MultiConference of Engineers and Computer Scientists 2017
پدیدآورنده : Ao, Sio-Iong
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Engineering -- Congresses,، Computer science -- Congresses,، Technology -- Congresses,Congresses ، Technological innovations,، Industrial and Production Engineering
رده :
TS
228
.
99
.
T584
2018
175. Trends and Perspectives in Modern Computational Science.
پدیدآورنده : George Maroulis
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Engineering -- Data processing -- Congresses.,Science -- Data processing -- Congresses.
176. Trends and perspectives in modern computational science: lectures presented at the in International Conference of Computational Methods in Sciences and Engineering 2006 )ICCMSE 2006(. Chania, Crete. Greece
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Computer science,Congresses ، Engineering - Data processing,Congresses ، Science - Data processing
رده :
Q
183
.
9
.
I3249
2006
v
.
6
177. Trends in computer science, engineering and information technology
پدیدآورنده : Dhinaharan Nagamalai, Eric Renault, Murugan Dhanuskodi (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering, Congresses.,Computer science, Congresses.,Information technology, Congresses.
178. Web Information Systems Engineering – WISE 2015
پدیدآورنده : \ edited by Jianyong Wang, Wojciech Cellary, Dingding Wang, Hua Wang, Shu-Ching Chen, Tao Li, Yanchun Zhang.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Computer science.,Computer networks.,نرم‌افزار -- مهندسی -- کنگره‌ها ,علوم کامپیوتر,شبکه‌های رایانه ای
رده :
QA76
.
758
.
W41
2015
E-Book
,
179. #16th Annual International Conference on Automated Software Engineering
پدیدآورنده : #sponsored by IEEE Computer Society Technical Committee on Software Engineering, ACM SIGSoft, ACM SIGArt
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Software engineering- Congresses ،Expert systems )Computer science(- Congresses
رده :
#
QA
،#.
I54
،#
2001
